#include <stdio.h>

int main ()
{

    printf ("%6.2f\n" , 11451.419) ;

    return 0 ;

}